finite state space

[计] 有限状态空间